Special issue on Software Verification and Testing (SAC-SVT'15)
نویسندگان
چکیده
منابع مشابه
Special section on Software Verification and Testing
We are delighted to present this special section containing extended versions of selected papers from the Software Verification and Testing (SVT 2013) track at the 28th ACM Symposium on Applied Computing (ACM SAC 2013), which took place in March 2013 in Coimbra, Portugal. The SVT track aims to bring together academic researchers and industry R&D expertise to discuss new results in formal verifi...
متن کاملSpecial Issue on Dynamic Analysis and Testing of Embedded Software
Research challenges in dynamic analysis and testing have been studied for decades. Nonetheless, as new hardware and software technologies emerge and become more powerful, many interesting techniques that were previously considered to be impractical or remained unexplored are receiving significant attention. This special issue presents novel research work in the dynamic analysis and testing of e...
متن کاملEditorial: special issue on verification and validation
As for any software , users of knowledge-based systems (KBS) need to know that they can rely on the system to do its job properly. Assuring the reliability of knowledge-based systems has become an important issue in the development of the knowledge engineering discipline. The processes employed directly to assure the reliability of software are called verification and validation (V & V). Roughl...
متن کاملSpecial Issue on Software Architecture and Mobility
E-businesses are increasingly facing the need for porting the provision of their eservices to mobile customers. Evolving requirements, such as reliability, security, scalability, performance and privacy, from fixed to mobile settings, has revealed new and important challenges. This is due to the behavioural constraints that mobility poses, and that were not faced in traditional distributed sett...
متن کاملSpecial Issue on Statistical Algorithms and Software
The journal of Computational Statistics and Data Analysis (CSDA) regularly publishes papers with a strong algorithmic and software component. Some recent CSDA related articles can be found in Bustos and Frery (2006), Hammill and Preisser (2006), Keeling and Pavur (2007), Novikov and Oberman (2007), Rosenthal (2007) and Tomasi and Bro (2006). This is the first CSDA special issue on Statistical A...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2016
ISSN: 0167-6423
DOI: 10.1016/j.scico.2016.10.001